$\forall$$x_{1}$:es\_realizer\{i:l\}. 
\\[0ex]($\uparrow$Rinit?($x_{1}$)) $\Rightarrow$ (Rinit{-}v($x_{1}$) $\in$ (Rinit{-}T($x_{1}$) + (rationals$\rightarrow$Rinit{-}T($x_{1}$))))